import __00SetRelation as sr
import _00SetFunc as ss 

#构建等价关系，并求商集
m,n=20,15
X=set(range(m))
R0=sr.createrelation(X,X,n)
R=sr.t(X,sr.s(X,sr.r(X,R0)))
Qs=sr.quotientset(X,R)
ss.drawgraph(R)
print("R",R)
print("Qs",Qs)